$\mathbb{N}$ $\subseteq$ $\mid$($<\mathbb{Z}$+$>\downarrow$hgrp)$\mid$